Książki autorstwa Peter Dybjer

Znaleziono 1 – 4 z 4 pozycji

1. 

   Category Theory and Computer Science

   David H. Pitt, David E. Rydehaerd, Peter Dybjer, Andrew M. Pitts | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 12 - 15 dni

   Język: Angielski

   Oprawa: Miękka

   290.90 zł

   Kup książkę
2. 

   Applied Semantics

   Gilles Barthe, Peter Dybjer, Luis Pinto | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 12 - 15 dni

   Język: Angielski

   Oprawa: Miękka

   290.90 zł

   Kup książkę
3. 

   Types for Proofs and Programs

   Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith | Springer, Berlin, 2000

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 12 - 15 dni

   Język: Angielski

   Oprawa: Miękka

   290.90 zł

   Kup książkę
4. 

   Types for Proofs and Programs

   Peter Dybjer, Bengt Nordström, Jan Smith | Springer, Berlin, 1995

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 12 - 15 dni

   Język: Angielski

   Oprawa: Miękka

   290.90 zł

   Kup książkę

Za drobną opłatą książki zapakujemy na prezent. Zobacz więcej